gdk: Pass hardware ID on gdk_device_tool_new()
authorCarlos Garnacho <carlosg@gnome.org>
Thu, 4 Aug 2016 16:52:51 +0000 (18:52 +0200)
committerCarlos Garnacho <carlosg@gnome.org>
Tue, 23 Aug 2016 19:01:44 +0000 (21:01 +0200)
commit942d144d3b893177a5c2b3ab4a8cbb209f710c68
tree9c11552816c8ca9927485683a60b35b7a4d81496
parent40f75e74be35605d1b77fc81e560b8f9e20e2311
gdk: Pass hardware ID on gdk_device_tool_new()

And implement this on wayland, where this information is already obtained.

https://bugzilla.gnome.org/show_bug.cgi?id=770026
gdk/gdkdevicetool.c
gdk/gdkdevicetoolprivate.h
gdk/wayland/gdkdevice-wayland.c
gdk/x11/gdkdevicemanager-xi2.c